package FOL;


public abstract class FirstOrderLogic
{
	boolean not;
	Operator operator;
	FirstOrderLogic first_sentence;
	FirstOrderLogic second_sentence;
	Quantifier quantifier;
	
}